3f754fa894d26f2d3f12a859c10c89af8fefd496,tests/it.xsemantics.dsl.tests/expectations/fj_first_test/it/xsemantics/test/fj/first/FjFirstTypeSystem.java,FjFirstTypeSystem,applyRuleCheckClass,#RuleEnvironment#RuleApplicationTrace#it.xsemantics.example.fj.fj.Class#,1638

Before Change


    boolean _notEquals = (!Objects.equal(_superclass, null));
    if (_notEquals) {
      List<it.xsemantics.example.fj.fj.Class> superClasses = null;
      List<it.xsemantics.example.fj.fj.Class> _superclasses = this.superclassesInternal(_trace_, cl);
      superClasses = _superclasses;
      boolean _contains = superClasses.contains(cl);
      boolean _not = (!_contains);
      /* !superClasses.contains(cl) */

After Change


    boolean _notEquals = (!Objects.equal(_superclass, null));
    if (_notEquals) {
      List<it.xsemantics.example.fj.fj.Class> superClasses = null;
      superClasses = this.superclassesInternal(_trace_, cl);
      boolean _contains = superClasses.contains(cl);
      boolean _not = (!_contains);
      /* !superClasses.contains(cl) */